Resultados de la búsqueda

Para más opciones de búsqueda, vea Ayuda:Búsqueda.

Si consideras que este artículo debería existir, conoces nuestros pilares, dispones de fuentes fiables y sabes indicarlas como referencias, puedes crearlo, opcionalmente usando nuestro asistente.

Ver (20 previas · ) (20 · 50 · 100 · 250 · 500).
  • Programación lógica
    Foundations of Logic Programming, J.W. Lloyd, Springer-Verlag, 1991. Essentials of Logic Programming, C. Hogger, Clarendon Press, Oxford, 1990. Logic for Computer…
    9 kB (1155 palabras) - 12:04 25 abr 2024
  • Lógica retractable
    común Lógica no monotónica Lógica por defecto D. Nute (1994). Defeasible logic. In Handbook of logic in artificial intelligence and logic programming, volume…
    1 kB (169 palabras) - 10:17 2 ago 2019
  • Lógica no monotónica
    survey of complexity results for non-monotonic logics" Journal of Logic Programming 17: 127-60. F. M. Donini, M. Lenzerini, D. Nardi, F. Pirri, and M…
    6 kB (868 palabras) - 12:55 20 nov 2023
  • Miniatura para Verónica Dahl
    Verónica Dahl
    Hook! Long Live the Prez!. Logic Programming Newsletter 18 ( 1) ---------. 2005. A day in the life of a proof. Logic Programming Newsletter 18 ( 1) h. Christiansen…
    7 kB (771 palabras) - 21:52 7 ene 2024
  • Programación lógica inductiva
    Raedt. A Perspective on Inductive Logic Programming. The Workshop on Current and Future Trends in Logic Programming, Shakertown, to appear in Springer…
    21 kB (2759 palabras) - 12:15 30 nov 2023
  • Miniatura para Alain Colmerauer
    Alain Colmerauer
    número 4, 1983. Frédéric Benhamou, Alain Colmerauer, Constraint Logic programming, Selected Research., MIT Press, 1993 Cohen, J. «A view of the origins…
    4 kB (488 palabras) - 05:02 14 feb 2024
  • Mercury (lenguaje)
    algorithm of Mercury: an efficient purely declarative logic programming language. Journal of Logic Programming, volumen 29, Nº 1-3, octubre-diciembre de 1996…
    2 kB (310 palabras) - 07:30 12 oct 2019
  • Lógica temporal
    checking: branching time logic strikes back, in Science of Computer Programming 8, p 275-306, 1987. E.A. Emerson, Temporal and modal logic, Handbook of Theoretical…
    9 kB (624 palabras) - 11:35 19 abr 2024
  • Stupid sort
    NU-Prolog», Proceedings of the Third International Conference on Logic Programming, Lecture Notes in Computer Science 225, Springer-Verlag, pp. 624-634…
    4 kB (425 palabras) - 23:49 12 sep 2023
  • Miniatura para Digital Bibliography & Library Project
    Digital Bibliography & Library Project
    creadas para referirse a DataBase systems and Logic Programming (Sistemas de bases de datos y programación lógica), pero actualmente se entienden como Digital…
    3 kB (320 palabras) - 06:09 18 ago 2021
  • Reescritura (categoría Lógica matemática)
    "Proving and Rewriting" International Conference on Algebraic and Logic Programming, 1990 Nancy, France pp 1-24 Sculthorpe, Neil; Frisby, Nicolas; Gill…
    8 kB (1189 palabras) - 16:31 10 nov 2023
  • Programación inductiva (categoría Programación lógica)
    el 10 de julio de 2020.  Flener, Pierre (2002). Computational Logic: Logic Programming and Beyond. Springer Berlin Heidelberg. pp. 310-346. ISBN 978-3-540-43959-2…
    10 kB (1123 palabras) - 15:32 16 ene 2024
  • Programación de conjuntos de respuestas (categoría Programación lógica)
    domains». En Sterling, Leon, ed. Logic Programming: Proceedings of the Twelfth International Conference on Logic Programming. MIT Press. pp. 233-247. ISBN 978-0-262-69177-2…
    25 kB (2743 palabras) - 09:18 12 dic 2023
  • ILP (desambiguación)
    Instituto Libertad y Progreso Instituto de Liderazgo Pastoral Inductive Logic Programming Instruction level parallelism Partido Laborista Independiente Datos:…
    590 bytes (51 palabras) - 17:38 24 oct 2020
  • Kernel Language 1 (categoría Programación lógica)
    | Out = 0. Kazunori Ueda (1987). Guarded Horn Clauses: A Parallel Logic Programming Language with the Concept of a Guard (PDF). Consultado el 18 de enero…
    3 kB (297 palabras) - 15:09 25 ene 2024
  • Lógica programada
    software que incorpora, es lo contrario de la lógica cableada. La lógica programada se basa en dispositivos lógicos programables (PLD), los cuales tienen una…
    16 kB (2340 palabras) - 05:26 12 ago 2023
  • Miniatura para Programación en el sistema
    Programación en el sistema (redirección desde In-system programming)
    In-system programming), también conocido como Programación serie en circuito (ICSP por las siglas del inglés : In-Circuit Serial Programming), es la habilidad…
    2 kB (218 palabras) - 13:19 6 sep 2019
  • Common Lisp Object System
    Jim Veitch. Páginas 107-158 del Handbook of Programming Languages, Volume IV: Functional and Logic Programming Languages, ed. Peter H. Salus. 1998 (1st edition)…
    6 kB (741 palabras) - 08:18 13 ago 2023
  • Programación literaria (redirección desde Literate programming)
    Knuth, Literate Programming (énfasis en el original) Los programas literarios o letrados, están escritos como una exposición lógica en un lenguaje humano…
    22 kB (560 palabras) - 23:16 16 abr 2020
  • Teoría de lenguajes de programación
    Journal of Functional Programming, The Journal of Functional and Logic Programming, The Journal of Symbolic Computation, The Theoretical Computer Science…
    10 kB (1278 palabras) - 21:54 25 ene 2024
Ver (20 previas · ) (20 · 50 · 100 · 250 · 500).
Obtenido de «https://es.wikipedia.org/wiki/Especial:Buscar»